#ifndef PRINTF_H
#define PRINTF_H

#include "stdio.h"


int fputc(int ch, FILE *f);

#endif